Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003022 | Vincent Aravantinos [France] ; Ricardo Caferra [France] ; Nicolas Peltier [France] | Simplified handling of iterated term schemata |
| 009E17 | Ricardo Caferra [France] ; Nicolas Peltier [France] | The Connection Method, Constraints and Model Building |
| 009F22 | Ricardo Caferra [France] ; Nicolas Peltier | Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models |
| 00BC44 | Nicolas Peltier [France] | Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents |
| 00BC89 | Ricardo Caferra [France] ; Nicolas Peltier [France] | A New Technique for Verifying and Correcting Logic Programs |
| This area was generated with Dilib version V0.6.33. |  |